1. Methods of Cut-Elimination
Author: / Matthias Baaz, Alexander Leitsch
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
Classification :
QA76
,.
9
.
A96
,
B33
2011
